Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
291	i i “bindex” — [removed] — 15:17 — page 384 — #1 i Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-29 10:18:00 Non-classical logic Philosophical logic Logical connectives Arguments Paraconsistent logic Function Modal logic Liar paradox Polish notation Logic Mathematics Mathematical logic
292	May 2008 DRAFT Linear Logical Algorithms Robert J. Simmons Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-07-11 10:59:20 Mathematical logic Predicate logic Non-classical logic Linear logic Proposition Function Algorithm Atomic formula Inference Logic Propositional calculus Logical syntax
293	Fuzzy Querying and Random Data Przemyslaw Grzegorzewski Syst.ems Research Inst,it,ute! Polish Academy of Sciences and University of Informat,ion Technology and Management, Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:23:05 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Lotfi A. Zadeh Statistical hypothesis testing Type-2 fuzzy sets and systems Fuzzy subalgebra Logic Fuzzy logic Science
294	From: AAAI Technical Report WS[removed]Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. Preliminary Insights on Temporal Approximation Aarati Parmar Department of Computer Science, Gates Building, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:55:57 Logic programming Knowledge representation Logic in computer science Situation calculus Non-classical logic Frame problem Fluent Interpretation Event Mathematics Logic Mathematical logic
295	Journal of Articial Intelligence Research[removed] Submitted 4/98; published[removed]A Temporal Description Logic for Reasoning about Actions and Plans Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:18 Non-classical logic Knowledge representation Artificial intelligence Philosophical logic Model theory Temporal logic Description logic Interval temporal logic Modal logic Logic Science Mathematical logic
296	Which Role for an Ontology of Uncertainty? Paolo Ceravolo, Ernesto Damiani, Marcello Leida Dipartimento di Tecnologie dell’Informazione - Universit` a degli studi di Milano via Bramante, [removed]Crema (CR), Italy {c Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 16:42:42 Knowledge representation Non-classical logic Reasoning Artificial intelligence Information science Fuzzy logic Ontology Semantic Web Uncertainty Science Logic Knowledge
297	On Linear Inference Frank Pfennnig Draft of February 2, 2008 Inference. When we write an inference rule Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-14 10:37:05 Non-classical logic Logical consequence Proof theory Entailment Linear logic Inference Curry–Howard correspondence Proposition Rule of inference Logic Propositional calculus Logical syntax
298	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 17:44:52 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
299	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2011-09-26 07:12:08 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
300	Notes on the Interpretation of Modal and Intuitionistic Logic, 1966 Box 7, Folder 4 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pitt Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:43:14 Mathematical constructivism Philosophy of mathematics Non-classical logic Philosophical logic Epistemology Intuitionism Intuitionistic logic Kripke semantics Saul Kripke Logic Mathematical logic Mathematics

UPDATE